J[80748]=10170 J[80828]=10742 J[81002]=11976 J[81121]=12095 J[81423]=16763 J[82860]=41430 J[540880]=44124 J[541176]=55148 J[541179]=57709 J[767654]=58101 J[1119626]=77611 J[1346046]=80178 J[1346159]=81208 J[1346165]=90021 J[2342250]=92194 J[5169456]=93903 J[6519261]=115971 J[18607498]=123787 J[47342435]=7250050 J[47461861]=23730931 J[47482266]=23741133 J[47595779]=23797890 J[47844890]=23922445 J[47846178]=23923089 J[47850055]=23925028 J[47879108]=23939554 J[47912346]=23956173 J[48042117]=24021059 J[48046310]=24023155 J[48142092]=24071046 J[48142376]=24071188 J[48399022]=24199511 J[82658368]=28193925 J[82667906]=28333910 J[82670134]=28580187 J[83059277]=29093038 J[83059425]=29099996 J[83065315]=30234233 J[84637009]=30257338 J[85012559]=31088869 J[258592186]=48177547 J[258592189]=49251312 J[421560074]=49838521 J[4258861548]=49955552 J[8387853296]=49979178 J[16746922727]=50248199